nLab Frank Pfenning

• webpage

Selected writings

On higher-order abstract syntax:

• Frank Pfenning, Conal Elliot, ACM SIGPLAN Notices 23 7 (1988) 199–208 [doi;10.1145/960116.54010, pdf]

On inductive types and the calculus of constructions:

• Frank Pfenning, Christine Paulin-Mohring, Inductively defined types in the Calculus of Constructions, in: Mathematical Foundations of Programming Semantics MFPS 1989, Lecture Notes in Computer Science 442, Springer (1990) $[$doi:10.1007/BFb0040259$]$

On Semi-axiomatic sequent calculus?:

• Henry DeYoung?, Frank Pfenning, and Klaas Pruiksma?. Semi-axiomatic sequent calculus. In Z. Ariola, editor, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), pages 29:1–29:22, Paris, France, June 2020. LIPIcs 167. [bib | .pdf]

On linear logic and basics of type theory:

• Frank Pfenning, Linear Logic, lecture notes (1998) [pdf, webpage, pdf]
• Frank Pfenning, Substructural Logics, lecture notes (2023) [pdf, webpage]

On logical frameworks:

• Frank Pfenning, Logical frameworks – a brief introduction (2002) [pdf]

• Frank Pfenning, Logical frameworks, chapter 17 in: Alan Robinson and Andrei Voronkov (eds.): Handbook of Automated Reasoning (1999) 1063-1147 [ps]

• Frank Pfenning, Logical frameworks web site (web), including an extensive bibliography and a list of implementations

On modal logic:

• Frank Pfenning, Rowan Davies, A judgemental reconstruction of modal logic, Mathematical Structures in Comp. Sci. 11 4 (2001) 511-540 [pdf]

• Frank Pfenning, Towards modal type theory (2000) [pdf]

• Frank Pfenning, Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory, in: Symposium on Logic in Computer Science (2001) 221&-230 [web]

On modal type theory:

• Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka, Contextual Modal Type Theory (2005) [web, slides]

On the type of natural numbers in type theory:

• Frank Pfenning, Lecture notes on natural numbers (2009) [pdf, pdf]

On adjoint logic:

• Klaas Pruiksma, William Chargin, Frank Pfenning, and Jason Reed, Adjoint Logic, 2018, [pdf, pdf]

category: people